A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

Hidden Markov Model Analysis of Motifs in Steroid Dehydrogenases and their Homologs William N. Grundy Department of Computer Science and Engineering University of California, San Diego

Source URL: www.sdsc.edu

Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken

Source URL: titanium.cs.berkeley.edu

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Type theory
• Data types
• Distributed computing architecture
• Benchmark
• Type system
• Type inference
• Consistency model
• Shared memory

Bounded Seed-AGI Eric Nivel1 , Kristinn R. Th´orisson1,3 , Bas R. Steunebrink2 , Haris Dindo4 , Giovanni Pezzulo5 , Manuel Rodr´ıguez6 , Carlos Hern´andez6 , Dimitri Ognibene5 , J¨urgen Schmidhuber2 , Ricardo Sanz6

Source URL: xenia.media.mit.edu

• Engineering
• Cybernetics
• Learning
• Machine learning
• Simulation
• Scientific modelling
• Reliability engineering
• Economic model
• Cognition
• Epistemology

Factsheet YaSM Process Map

Source URL: yasm.com

• Software
• Computing
• Information technology management
• ITIL
• Method engineering
• Assemblers
• Yasm
• ISO/IEC 20000
• IT service management
• Standards
• Capability Maturity Model Integration
• Business process mapping

DISTRIBUTED IMMERSED BOUNDARY SIMULATION IN TITANIUM E. GIVELBERG AND K. YELICK Abstract. The immersed boundary method is a general technique for modeling elastic boundaries immersed within a viscous, incompressible flui

Source URL: titanium.cs.berkeley.edu

• Computational fluid dynamics
• Fluid mechanics
• Engineering
• Aerodynamics
• Fluid dynamics
• Computational science
• Immersed boundary method
• Fluidstructure interaction
• Viscosity
• NavierStokes equations
• MEMO Model

Towards minimum perceptual error training for DNN-based speech synthesis Cassia Valentini-Botinhao, Zhizheng Wu, Simon King The Centre for Speech Technology Research, University of Edinburgh, United Kingdom cvbotinh@inf.

Source URL: www.cstr.ed.ac.uk

• Computational linguistics
• Signal processing
• Cepstrum
• Frequency domain analysis
• Speech synthesis
• Acoustic model
• Cepstral
• Electrical engineering
• Humancomputer interaction
• Computational science
• Speech recognition

Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

PROGRESS REPORT PROGRESS REPORT Left to right: Domniki Asimaki, José Andrade, and Nadia Lapusta

Source URL: www.eas.caltech.edu

• Civil engineering
• Seismology
• Building engineering
• Earthquake
• Engineering
• Materials science
• Structural engineering
• Mathematical model
• Computer simulation
• Fault
• Mechanical engineering
• California Institute of Technology

THE ANNALS OF “DUNAREA DE JOS” UNIVERSITY OF GALATI FASCICLE XIV MECHANICAL ENGINEERING, ISSNTHE BEHAVIOR OF MECHANICAL MODEL WHEEL’ S LOADER

Source URL: www.ann.ugal.ro